{% if a * c > b -%}
  mul
{%- endif -%}
{% if c / c == a -%}
  div
{%- endif -%}
{% if a % c == b -%}
  mod
{%- endif -%}
{% if a + b == c -%}
  add
{%- endif -%}
{% if a << b == c -%}
  rsh
{%- endif -%}
{% if c >> b == a -%}
  lsh
{%- endif -%}
{% if a & b == b -%}
  band
{%- endif -%}
{% if b ^ c == a + c -%}
  bxor
{%- endif -%}
{% if (b | c) == a + c -%}
  bor
{%- endif -%}
{% if a == b && a + b == c -%}
  and
{%- endif -%}
{% if a == c || a == 1 -%}
  or
{%- endif -%}
